1. Automated and algorithmic debugging :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.

2. Declarative programming and knowledge management :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Declarative programming, Congresses.,Artificial Intelligence (incl. Robotics).,Logics and Meanings of Programs.,Numeric Computing.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer programming-- software development.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Declarative programming.,Mathematical theory of computation.,Software Engineering.

رده :
QA76
.
615

3. FDPE'05 : proceedings of the ACM SIGPLAN 2005 Workshop on Functional and Declarative Programming in Education, September 25, 2005, Tallinn, Estonia

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Congresses ، Declarative programming,Congresses ، Functional programming )Computer science(

رده :
QA
76
.
62
.
A383
2005

4. Practical aspects of declarative languages :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Declarative programming languages, Congresses.,Declarative programming, Congresses.,Declarative programming languages.,Declarative programming.

رده :
QA76
.
76
.
C65

5. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.

رده :
QA76
.
6
E358
1986